Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Mathematics
• Statistical randomness
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Markov chain
• Determinacy
• Linear temporal logic
• Stochastic game
• Markov decision process

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Source URL: icaps16.icaps-conference.org

• Control theory
• Systems science
• Automated planning and scheduling
• Classical control theory
• Metaphysics
• Mathematical optimization
• Systems theory
• Nonlinear system
• Planning Domain Definition Language
• Motion planning
• Controllability
• Trajectory optimization

Shaping Open Access and Creating Transparency Recommendation by Science Europe for the Disclosure of Publication Fees Science Europe is committed to playing a role in accomplishing the transition to Open Access in an eff

Source URL: www.scienceeurope.org

• Academic publishing
• Publishing
• Open access
• Free culture movement
• Knowledge
• Human behavior
• Electronic publishing
• Open science
• Article processing charge
• Open data
• Open research
• Hybrid open-access journal

Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea

Source URL: www.ieee-security.org

• Software testing
• Computer security
• Security engineering
• Cyberwarfare
• Cybercrime
• Computer network security
• Fuzzing
• Software bugs
• Application security
• Vulnerability
• Internet of things
• Heartbleed

Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni

Source URL: www.netsec.ethz.ch

• Computing
• Information theory
• Information and communications technology
• Telecommunications engineering
• Data transmission
• Network performance
• Computer networking
• Internet architecture
• Multipath routing
• Transmission Control Protocol
• Packet loss
• Routing

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Neuroscience
• Cybernetics
• Computational statistics
• Market research
• Deep learning
• Heart rate variability
• Emotion recognition
• Recurrent neural network
• Affective computing

Jamie Hayes Contact Information University College London Dept. of Computer Science

Source URL: www.homepages.ucl.ac.uk

• Computing
• Internet
• Free software
• Adversarial machine learning
• Computer security
• Machine learning
• Privacy
• Internet privacy
• Deep learning
• Tor

HES-SO | Master of Science in Engineering Cloud Computing — Platform as a Service Academic year

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

• Computing
• Java platform
• Java enterprise platform
• Software architecture
• Cross-platform software
• Google App Engine
• Serverless computing
• Java servlet
• Application server
• Java
• Cloud computing
• Web application

Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA

Source URL: gdac.uqam.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Directed graph
• Graph
• Centrality
• Topological graph theory
• Degree
• Sequence
• Sequential pattern mining
• Directed acyclic graph
• Pathwidth

Mediennotiz Zug, 28. Juni 2018 Künstlerisches im Office LAB Postplatz der alten Hauptpost von Zug Unter dem Motto „Art Meets Science, Technology and Nature“ wird am 1. Juli 2018 ein

Source URL: www.officelab.ch